Proof of an Unaltered Document
نویسندگان
چکیده
منابع مشابه
Assisted Proof Document Authoring
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an inordinate amount of effort and time, and there is a significant gap between the resulting formalised machine-checkable proof scripts and the corresponding human-readable mathematical texts. We present an authoring syst...
متن کاملAuthorship Proof for Textual Document
In this paper, we investigate the problem of how to prove the authorship of textual documents. We propose to use natural language watermarks to solve the problem. We identify two essential requirements for an authorship proof scheme (APS) to be secure against watermark erasing attacks. We evaluate the security of existing natural language watermarking schemes, and we propose two new APS with im...
متن کاملIsabelle as Document-Oriented Proof Assistant
Proof assistants in the LCF tradition, such as Coq, Isabelle, and the HOL family, are notorious for old-fashioned command-line interaction with input and output of plain text. Established prover interfaces like Proof General merely add a thin layer on top of the read-eval-print loop in the background. More sophisticated mathematical editors, Webservices, Wiki-servers for mathematical content do...
متن کاملAn Ensemble Click Model for Web Document Ranking
Annually, web search engine providers spend more and more money on documents ranking in search engines result pages (SERP). Click models provide advantageous information for ranking documents in SERPs through modeling interactions among users and search engines. Here, three modules are employed to create a hybrid click model; the first module is a PGM-based click model, the second module in a d...
متن کاملThe logical structures of theological proofs, with an emphasis on the proof of love to God
This article has no abstract.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Criminal Law, Criminology, and Police Science
سال: 1959
ISSN: 0022-0205
DOI: 10.2307/1141540